package masml2jade;

public class Right {

}
